記法の論理的区別から普遍的な余極限による前層の層化条件まで
本稿は、圏論において極限および余極限を計算する際に、「どの圏を舞台として演算が実行されているか」を厳密に区別するための記号法を確立し、それに基づいて Grothendieck 位相上の層条件を稠密性（denseness）や充満性（fullness）の仮定なしに証明した一連の議論を、自己完結的（self-contained）にまとめたものです。
議論の論理的明晰さを保つため、演算が行われる圏を上付き文字で明示します。基盤となる集合の圏 $\mathbf{Set}$ についてのみ特例を設けます。
圏 $B$ の対象 $X$ に対し、表現可能前層（Representable presheaf） $h_X$ は $h_X = \operatorname{Hom}_B(-, X)$ として定義されます。これは対象 $A$ に対して射の集合 $\operatorname{Hom}_B(A, X)$ を割り当てる関手です。
圏 $B$ の対象 $X$ 上の篩（Sieve） $S$ ととは、余域を $X$ とする射の集まりであって、任意の射の右合成について閉じているものを指します。すなわち、$f: A \to X$ が $S$ に属し、$g: Y \to A$ が任意の射であるとき、合成 $f \circ g: Y \to X$ も必ず $S$ に属するという条件を満たします。
関手として見れば、篩 $S$ は表現可能前層 $h_X$ の部分関手（$S \hookrightarrow h_X$）です。
圏 $B$ 上のGrothendieck位相（Grothendieck topology） $J$ とは、各対象 $X \in \operatorname{Ob}(B)$ に対して、$X$ 上の篩の集合 $J(X)$ （これらに属する篩を $X$ の被覆篩（covering sieve）と呼ぶ）を割り当てる対応であって、以下の3つの公理を満たすもののことです。
これらの公理は、通常の位相空間における「開被覆」の概念を抽象化したものです。公理1は「空間全体はそれ自身の被覆であること」、公理2は「被覆を開部分集合へ制限してもやはり被覆であること」、公理3は「被覆の各要素をさらに細かい開被覆で覆ったとき、それらをすべて集めたものも全体としてなお被覆であること」をそれぞれ意味しています。Grothendieck位相が与えられた圏をサイト（Site）と呼びます。
サイト $(B, J)$ において、前層 $P \in \widehat{B}$ が層（Sheaf）であるとは、任意の対象 $X \in B$ とその任意の被覆篩 $S \in J(X)$ に対して、包含写像 $S \hookrightarrow t_X$ が引き起こす自然な写像が全単射になること、すなわち以下が成り立つこととして定義されます。
この式は、「被覆篩 $S$ 上で定義された局所的な切断の族が、対象 $X$ 全体での大域的な切断 $P(X)$ へと一意に張り合わせられる」という幾何学的な直観を代数的に表現したものです。
層条件の定理を証明するにあたり、必要となる3つの重要な補題をここで独立して証明します。
任意の小さな圏 $B$、その対象 $X \in \operatorname{Ob}(B)$、および任意の前層 $P \in \widehat{B}$ に対して、以下の自然な全単射が存在する。
※ ここで左辺は、関手 $h_X$ から $P$ への自然変換のなす集合である。
写像 $\Phi: \operatorname{Hom}_{\widehat{B}}(h_X, P) \to P(X)$ と、その逆写像 $\Psi: P(X) \to \operatorname{Hom}_{\widehat{B}}(h_X, P)$ を具体的に構成し、これらが互いに逆であることを示す。
Step 1: $\Phi$ の構成
自然変換 $\alpha: h_X \to P$ が与えられたとする。$\alpha$ は各対象 $A \in B$ ごとに写像 $\alpha_A: h_X(A) \to P(A)$ を持つ。対象 $X$ 自身を考えると、$h_X(X) = \operatorname{Hom}_B(X, X)$ には恒等射 $\operatorname{id}_X$ が存在する。そこで、次のように定義する。
Step 2: $\Psi$ の構成
逆に、元 $x \in P(X)$ が与えられたとする。自然変換 $\alpha^{(x)}: h_X \to P$ を構成したい。任意の対象 $A$ と、射 $f \in h_X(A)$ （すなわち $f: A \to X$）に対して、$P$ は反変関手であるから、写像 $P(f): P(X) \to P(A)$ が誘導される。そこで次のように定義する。
この $\alpha^{(x)}$ が自然変換の公理（可換図式）を満たすことは、関手 $P$ の定義（$P(f \circ g) = P(g) \circ P(f)$）から直ちに従う。これにより $\Psi(x) = \alpha^{(x)}$ が定義された。
Step 3: 全単射性の確認
$\Phi(\Psi(x)) = \Phi(\alpha^{(x)}) = \alpha^{(x)}_X(\operatorname{id}_X) = P(\operatorname{id}_X)(x) = \operatorname{id}_{P(X)}(x) = x$ となり、$\Phi \circ \Psi = \operatorname{id}$ である。
逆に $\Psi(\Phi(\alpha))$ を考える。任意の $A$ と $f: A \to X$ に対して、自然変換 $\alpha$ の自然性（関手性）を用いると、図式の可換性から $P(f)(\alpha_X(\operatorname{id}_X)) = \alpha_A(f \circ \operatorname{id}_X) = \alpha_A(f)$ が成り立つ。したがって $\Psi(\Phi(\alpha))_A(f) = P(f)(\Phi(\alpha)) = \alpha_A(f)$ となり、$\Psi \circ \Phi = \operatorname{id}$ である。
以上により、全単射性が証明された。
任意の圏 $C$、添字圏 $I$、図式 $F: I \to C$、および対象 $Y \in C$ について、$C$ において $\operatorname{colim}^C F$ が存在するならば、以下の自然な同型が成り立つ。
余極限の普遍性から直接導かれる。左辺の元である射 $g: \operatorname{colim}^C F(i) \to Y$ を一つ選ぶことは、余極限の定義により、図式 $F$ から対象 $Y$ への「余錐（cocone）」を一つ与えることと完全に同値である。
余錐とは、各対象 $i \in I$ に対する射の族 $\{ g_i: F(i) \to Y \}_{i \in I}$ であって、任意の $I$ の射 $u: i \to j$ に対して $g_j \circ F(u) = g_i$ を満たすもののことである。
一方、右辺 $\operatorname{lim}_{i \in I^{\mathrm{op}}} \operatorname{Hom}_C(F(i), Y)$ は集合の圏における極限である。集合の圏における極限の元とは、まさに各集合 $\operatorname{Hom}_C(F(i), Y)$ から元 $g_i$ を選び、遷移写像（ここでは引き戻し）について一貫している族 $\{ g_i \}_{i \in I}$ のことに他ならない。
したがって、両者は構成要素のレベルで同一の概念を指しており、自然な全単射（同型）が存在する。
圏 $B$ の対象 $X$ 上の任意の篩 $S$ に対して、前層の圏 $\widehat{B}$ において以下が成り立つ。
※ 添字圏 $J_S$ は、対象を $S$ に属する射 $(f: A \to X)$ とし、射を $X$ 上の可換三角形（$g \circ u = f$ を満たす $u: A \to A'$）とする圏である。
補題3で示される同型は、圏論における非常に強力かつ一般的な定理である「すべての前層は表現可能関手の余極限である」という定理の特殊な場合にあたります。
一般に、任意の圏 $B$ とその上の任意の前層 $P \in \widehat{B}$ に対し、その要素の圏（Category of elements） $\int P$ が定義されます。$\int P$ の対象はペア $(A, x)$ （ただし $A \in B, x \in P(A)$）であり、射 $u: (A, x) \to (A', x')$ は $P(u)(x') = x$ を満たす $B$ の射 $u: A \to A'$ です。このとき、次の一般定理が成り立ちます。
ここで、前層 $P$ として表現可能前層 $h_X$ の部分関手である篩 $S \hookrightarrow h_X$ を代入してみます。篩の定義から、$x \in S(A)$ であることと、射 $f: A \to X$ が $S$ に属することは完全に同値です。したがって、篩 $S$ に対する要素の圏 $\int S$ は、その対象がそのまま $S$ に属する射 $(f: A \to X)$ となり、遷移写像の条件はまさに可換三角形 $f' \circ u = f$ に一致します。すなわち、$\int S$ は本稿で定義した添字圏 $J_S$ と完全に一致します。
ゆえに、補題3の式は、「任意の前層をその要素の圏からの図式の余極限として表す」という一般定理を、特に「部分関手としての篩」に適用して得られる明示的かつ直接的な特殊化の形そのものとなっています。
図式 $D: J_S \to \widehat{B}$ を $D(f: A \to X) = h_A$ として定義する。この図式の余極限が $S$ であることを、普遍性を用いて示す。
Step 1: 篩 $S$ への余錐（cocone）の構成
各対象 $(f: A \to X)$ に対して、自然変換 $\tau_f: h_A \to S$ を構成する。米田の補題（補題1）によれば、自然変換 $h_A \to S$ は $S(A)$ の元と1対1に対応する。$f \in S(A)$ であるため、これに対応する自然変換 $\tau_f$ を採用する。具体的には、任意の対象 $Y$ と射 $g \in h_A(Y)$ （すなわち $g: Y \to A$）に対して、$\tau_{f, Y}(g) = f \circ g \in S(Y)$ と定義する。これが余錐の条件を満たすことは、添字圏の射 $u: A \to A'$ に対して $f' \circ u = f$ が成り立つとき、$\tau_{f'} \circ h_u = \tau_f$ となることから確認できる。
Step 2: 普遍性の証明
任意の前層 $P \in \widehat{B}$ と、図式 $D$ から $P$ への任意の余錐 $\{ \alpha_f: h_A \to P \}_{f \in S}$ が与えられたとする。このとき、一意な自然変換 $\beta: S \to P$ が存在して、$\beta \circ \tau_f = \alpha_f$ を満たすことを示せばよい。
$\beta$ を次のように構成する。任意の対象 $C \in \operatorname{Ob}(B)$ と、任意の元 $g \in S(C)$ （すなわち $g: C \to X$）について、$\beta_C(g) \in P(C)$ を決定しなければならない。そこで、$g$ 自体を添字圏の対象 $(g: C \to X)$ とみなし、与えられた余錐から $\alpha_g: h_C \to P$ を取り出す。ここで再び米田の補題の対応関係（$\Phi$ の構成）を用い、以下のように定義する。
この $\beta$ が条件 $\beta \circ \tau_f = \alpha_f$ を満たすか確認する。対象 $C$ と $h \in h_A(C)$ （$h: C \to A$）について、
$(\beta \circ \tau_f)_C(h) = \beta_C(\tau_{f, C}(h)) = \beta_C(f \circ h) = (\alpha_{f \circ h})_C(\operatorname{id}_C)$
となる。余錐 $\{ \alpha \}$ の両立条件から、添字圏の射 $h: (f \circ h: C \to X) \to (f: A \to X)$ により $\alpha_{f \circ h} = \alpha_f \circ h_h$ が成り立つ。したがって、
$(\alpha_{f \circ h})_C(\operatorname{id}_C) = (\alpha_f)_C(h_h(\operatorname{id}_C)) = (\alpha_f)_C(h)$
となり、$\beta \circ \tau_f = \alpha_f$ が示された。構成の仕方から、このような $\beta$ は一意に定まる。
以上より、$S$ は図式 $D$ の普遍的な余極限であることが証明された。
本定理は、圏 $B$ が $C$ の稠密（dense）かつ充満（full）な部分圏であるという仮定を一切必要としません。
$C$ を任意の圏とし、$B$ をその部分圏とする（$B$ が $C$ の稠密部分圏であることや充満部分圏であることは一切仮定しない）。$J$ を $B$ 上の Grothendieck 位相とする。
もし、$B$ の任意の対象 $X$ と $J(X)$ に属する任意の被覆篩 $S$ に対して、大きな圏 $C$ の内部において $X$ が図式 $P_S: J_S \to C$ （ただし $(f: A \to X) \mapsto A$）の余極限として振る舞うならば、任意の $Y \in \operatorname{Ob}(C)$ に対して制限前層 $k_Y = \operatorname{Hom}_C(-, Y)|_B$ はサイト $(B, J)$ 上の層になる。
任意の $Y \in \operatorname{Ob}(C)$ を取る。前層 $k_Y$ がサイト $(B, J)$ 上の層であることを示すためには、層の定義に従い、任意の $X \in \operatorname{Ob}(B)$ と被覆篩 $S \in J(X)$ について以下の同型が成り立つことを示せばよい。
Step 1: 左辺の変形（米田の補題の適用）
まず、最大篩 $t_X$ が表現可能前層 $h_X$ と同型であること（$t_X \cong h_X$）を用い、前層の圏 $\widehat{B}$ において補題1（米田の補題）を適用する。この操作は無条件で成立する。
前層 $k_Y$ の定義より $k_Y(X) = \operatorname{Hom}_C(X, Y)$ であるため、左辺は $\operatorname{Hom}_C(X, Y)$ と同型になる。
Step 2: 右辺の変形（$\widehat{B}$ における余極限）
次に、右辺 $\operatorname{Hom}_{\widehat{B}}(S, k_Y)$ を考える。補題3により、前層の圏 $\widehat{B}$ において、任意の篩 $S$ はその要素である表現可能前層 $h_A$ の形式的な張り合わせ（余極限）として標準的に表される。
ここで補題2（反変関手 $\operatorname{Hom}_{\widehat{B}}(-, k_Y)$ による極限への変換）を適用すると、右辺は次のように展開できる。
ここで再び各 $h_A$ に対して補題1（米田の補題）を適用すると $\operatorname{Hom}_{\widehat{B}}(h_A, k_Y) \cong k_Y(A) = \operatorname{Hom}_C(A, Y)$ となるため、これを代入する。
Step 3: 定理の仮定の適用と結論の導出（$C$ における余極限）
ここで本定理の仮定を用いる。仮定より、圏 $C$ の内部において、対象 $X$ は図式 $P_S$ の余極限に一致する。
この仮定の式に対して、表現関手 $\operatorname{Hom}_C(-, Y)$ を適用する。補題2と同様に、圏 $C$ における余極限は集合の圏 $\mathbf{Set}$ における極限に変換されるため、以下の同型が得られる。
Step 4: 統合
以上の Step 1 から Step 3 までの自然な同型をすべて繋ぎ合わせる。
これにより、求める層条件 $k_Y(X) \cong \operatorname{Hom}_{\widehat{B}}(S, k_Y)$ が導かれた。この一連の論証過程のどこにも、部分圏 $B$ が $C$ において稠密であることや充満であることは使用されていない。ゆえに、前層 $k_Y$ はサイト $(B, J)$ 上の層であることが完全に証明された。
【引用理由】 本稿の土台となる「米田の補題（補題1）」の標準的な証明や、関手圏における pointwise な極限・余極限の一般的性質、および「要素の圏を用いた前層の余極限表示」の基本定式化を参照・検証するための基礎文献として引用しました。
【引用理由】 本稿の中核である「Grothendieck 位相と層条件の代数的定式化」を厳密に取り扱うために引用しました。特に本書の第16章および第17章では、前層の圏における篩（Sieve）の取り扱い、部分関手としての包含関係、およびそれらに関わる余極限の極限変換の挙動が極めて数学的に厳密な形で展開されています。過去の議論で生じていた「稠密性や充満性を課さなければ層化条件が崩れるのではないか」という懸念に対し、本書の定義体系（米田の補題を各表現可能関手 $h_A$ に直接適用するアプローチ）に立ち戻ることで、無駄な仮定を排した明晰な証明を構築できることを立証するために、最も権威ある現代的レファレンスとして本書の明示的な引用が不可欠でした。
【引用理由】 Grothendieck 位相（サイト）上での層の定義について、古典的な幾何学のコンテキストだけでなく、高次圏論や抽象圏論の観点からも「$\operatorname{Hom}_{\widehat{B}}(S, P)$」という形式的な全単射条件が最も普遍的かつ洗練された定義として機能していることを確認するために引用しました。
【引用理由】 過去の誤解の根源であった「稠密部分圏（Dense subcategory）」の定義を再確認し、左カン拡張やコ・イコライザーを用いた従来の構成経路と、本稿で示した普遍余極限による経路との論理的な差異を明確に区別するために引用しました。